1. Model-checking based data retrieval

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Query languages (Computer science),Information storage and retrieval systems.

رده :
QA
,
76
.
7
,.
Q49
,
2004

2. Model-checking based data retrieval : an application to semistructured and temporal data

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Query languages )Computer science(,، Information storage and retrieval systems

رده :
QA
76
.
L28
Vol
.
2917

3. checking based data retrieval :-Model

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Query languages (Computer science) ; Information storage and retrieval systems ;